Что такое пропозициональные выражения? Душкин объяснит Душкин объяснит 6:15 3 years ago 761 Скачать Далее
Матлогика 22. Пропозициональные формулы. Дизъюнктивная нормальная форма Лекторий ФПМИ 1:10:59 2 years ago 630 Скачать Далее
Конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание. На примерах из жизни. Логика. Информатик БУ 6:21 9 years ago 536 102 Скачать Далее
3.2.Пропозициональные логические связки.Математическая логика и теория алгоритмов. Слепой часовщик 14:16 5 years ago 242 Скачать Далее
3.1.Пропозициональная логика.Высказывания и высказывательные формы Слепой часовщик 15:27 5 years ago 2 239 Скачать Далее
4.4 Формулы общезначимые, выполнимые, логически эквивалентные Vladimir Kirienko 12:12 3 years ago 84 Скачать Далее
Матлогика 1. Высказывания. Логические связки. Предикаты и кванторы Лекторий ФПМИ 1:25:45 2 years ago 24 260 Скачать Далее
Яворская Т.Л. - Математическая логика - 15. Теория алгоритмов teach-in 1:26:43 1 year ago 1 298 Скачать Далее
Формулы алгебры высказываний. Эквивалентность формул алгебры высказываний. Tatyana Schitova 15:27 3 years ago 72 Скачать Далее
Яворская Т.Л. - Математическая логика. Часть 1 - 1. Классическая логика высказываний teach-in 1:21:52 2 years ago 15 413 Скачать Далее
[Допсем] Матлогика 2. Пропозициональные формулы Лекторий ФПМИ 3:09:15 10 months ago 1 017 Скачать Далее
6 Аксиомы и правило вывода классической логики высказываний Vanechki: математика, биология и многое другое 11:20 5 years ago 10 667 Скачать Далее
Яворская Т.Л. - Математическая логика - 11. Модальная логика teach-in 36:05 2 years ago 991 Скачать Далее
Матлог 9. Формулы с кванторами. Языки I-го порядка. Лекторий ФПМИ 1:13:40 4 years ago 1 641 Скачать Далее